Let <I>E</I> be an extension field of the field <i>F</i>.   The set of all elements of <i>E</i> that are algebraic over <I>F</i> is a subfield of <I>E</i>.